Sentential Logic